Artifact for "Symbolic transformation of expressions in modular arithmetic"
- Jérôme Boillot
- Jérôme Feret
Publication date
July 2023
DOIAbstract
Artifact for the paper "Symbolic transformation of expressions in modular arithmetic" published at SAS'23
Artifact for the paper "Symbolic transformation of expressions in modular arithmetic" published at SAS'23
Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
This package contains code and data needed for reproducing results reported in the following paper: ...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration...
This is an artifact for the formal Coq proofs of the paper "A Formal Link between Response Time Anal...
Artifact for POPL 2024 submission "Parikh's Theorem Made Symbolic". Contains source code and a disk ...
This is the artifact for the article "Normalization for Fitch-Style Modal Calculi" (PACMPL ICFP 2022...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Includes: Paper: "Modular Probabilistic Models via Algebraic Effects" Corresponding artifact (V...
This is the artifact for the paper "Transforming Test Suites Into Croissants": https://github.com/an...
MathyB data and NNGen modified data for the experiments in the paper, Mathematical Expressions in So...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
This package contains code and data needed for reproducing results reported in the following paper: ...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration...
This is an artifact for the formal Coq proofs of the paper "A Formal Link between Response Time Anal...
Artifact for POPL 2024 submission "Parikh's Theorem Made Symbolic". Contains source code and a disk ...
This is the artifact for the article "Normalization for Fitch-Style Modal Calculi" (PACMPL ICFP 2022...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Includes: Paper: "Modular Probabilistic Models via Algebraic Effects" Corresponding artifact (V...
This is the artifact for the paper "Transforming Test Suites Into Croissants": https://github.com/an...
MathyB data and NNGen modified data for the experiments in the paper, Mathematical Expressions in So...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
This package contains code and data needed for reproducing results reported in the following paper: ...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
Add to ORKG